New test approach for embedded applications
نویسندگان
چکیده
This paper is a tutorial on the principles and applications of static verification by Abstract Interpretation to development, verification and validation of embedded applications. The topics covered include what Abstract Interpretation is, how it works, how it can help in verification and validation activities. It will also present an industrial tool for the automatic detection of runtime errors.
منابع مشابه
Reverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages
Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...
متن کاملDual-Band Evanescent-Mode Substrate Integrated Waveguide Band-pass Filter for WLAN Applications
A new multi-layer substrate integrated waveguide (SIW) structure is developed to design dual-band evanescent-mode band-pass filters (BPFs). Two independent series LC circuits are implemented by incorporating metallic irises in the different layers of the structure. The combination of the metallic irises with capacitive-plates is embedded inside the SIW to independently excite two evane...
متن کاملDesign, Modeling, and Construction of a New Tactile Sensor for Measuring Contact-Force
This paper presents the design, modeling, and testing of a flexible tactile sensor and its applications. This sensor is made of polymer materials and can detect the 2D surface texture image and contact-force estimation. The sensing mechanism is based on the novel contact deflection effect of a membrane. We measure the deflection of the membrane with measuring the strain in the membrane with emb...
متن کاملSoftware Testing Innovations Series
As the number of new applications being developed for wireless/embedded devices such as PDAs, pagers, and cell phones increases, so does the demand for tools to automate the testing process on these new platforms. Through several consulting engagements, Chris Walters and I have had the opportunity to pioneer the use of Rational TestStudio to automate functional (or GUI) and performance testing ...
متن کاملHeuristic approach to solve hybrid flow shop scheduling problem with unrelated parallel machines
In hybrid flow shop scheduling problem (HFS) with unrelated parallel machines, a set of n jobs are processed on k machines. A mixed integer linear programming (MILP) model for the HFS scheduling problems with unrelated parallel machines has been proposed to minimize the maximum completion time (makespan). Since the problem is shown to be NP-complete, it is necessary to use heuristic methods to ...
متن کامل